Buy Used and New John N. Crossley Books

Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia: 450 (Lecture Notes in Mathematics)

by John N. Crossley

ISBN 13: 9783540071525

Format: Paperback (320 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Adapting Proofs-as-Programs: The Curry - Howard Protocol (Monographs in Computer Science)

by Iman Poernomo,John N. Crossley,Martin Wirsing

ISBN 13: 9780387237596

Format: Illustrated (436 pages)
Publisher: Springer
Published: 29 Jul 2005

Save for later

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

by Iman Hafiz Poernomo,John N. Crossley,Martin Wirsing

ISBN 13: 9781441920140

Format: Paperback (432 pages)
Publisher: Springer
Published: 19 Nov 2010

Save for later